
module type Hw1 =
sig

val t1 : hol_type
val t2 : hol_type
val t3 : hol_type
val t4 : hol_type
val t5 : hol_type
val t6 : hol_type
val t7 : hol_type
val t8 : hol_type
val t9 : hol_type
val t10 : hol_type

val p1 : term
val p2 : term
val p3 : term
val p4 : term
val p5 : term
val p6 : term
val p7 : term
val p8 : term
val p9 : term
val p10 : term
val p11 : term
val p12 : term
val p13 : term
val p14 : term
val p15 : term
val p16 : term
val p17 : term
val p18 : term
val p19 : term
val p20 : term
val p21 : term
val p22 : term
val p23 : term
val p24 : term
val p25 : term
val p26 : term
val p27 : term
val p28 : term
val p29 : term
val p30 : term
val p31 : term
val p32 : term
val p33 : term
val p34 : term
val p35 : term
val p36 : term
val p37 : term
val p38 : term

val h1 : term
val h2 : term
val h3 : term
val h4 : term
val h5 : term
val h6 : term
val h7 : term
val h8 : term
val h9 : term
val h10 : term
val h11 : term
val h12 : term

end 
